Complementing his view on Euclidean Arithmetic Mayberry takes the view that, just as an alternative Geometries were created by denying Euclid s axiom of parallels, an alternative Arithmetic is created by denying Common Notion 5 and affirming the existence of at least one arithmos for which the whole can be put in 1-1 correspondence with a part.